Challenging LR Parsing (2020)
rust-analyzer.github.io·20h·
Discuss: Lobsters, r/programming
🦀Rust Macros
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·1h·
Discuss: DEV
📝ABNF Parsing
Compiling Dinner
gist.github.com·1d·
Discuss: Hacker News
🔨Compilers
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
A Unified Theory of Language
arxiv.org·1d
💻Programming languages
What is a large language model?
proton.me·23h
💻Local LLMs
Mojo Roadmap Document
docs.modular.com·1d·
Discuss: Hacker News
💻Programming languages
Guide to Contrastive Learning: Techniques, Models, and Applications
medium.com·1h·
Discuss: Hacker News
🧠Machine Learning
Equivalence via Surjections
golem.ph.utexas.edu·16h
🔀Category Theory
Macroexpand-Deep 2025 – the first Clojure AI conference
scicloj.github.io·15h·
Discuss: Hacker News
🦀Rust Macros
What AI chatbots are doing under the hood
gilesthomas.com·20h·
Discuss: Hacker News
🎙️Whisper
Rust chess engine
reddit.com·18h·
Discuss: r/rust
🦀Rust Borrowing
The use of Claude Code in SciML repos
discourse.julialang.org·16h·
Discuss: Lobsters
📏Code Metrics
Chicken Scheme internals: the garbage collector
more-magic.net·1d·
Discuss: Hacker News
🧠Separation Logic
Codeminer42 Dev Weekly #76
blog.codeminer42.com·1d
🔄Language Evolution
From Multi-Head to Latent Attention: The Evolution of Attention Mechanisms
vinithavn.medium.com·9h·
Discuss: Hacker News
⧗Information Bottleneck
Graph-R1: Unleashing LLM Reasoning with NP-Hard Graph Problems
arxiv.org·1d
🔄Graph Rewriting
Prompt Engineering for Grok Code Fast 1
docs.x.ai·1d·
Discuss: Hacker News
🌳Incremental Parsing
Core Concepts: Decoding Human Language
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Antonio Cuni: Porting the JIT to CLI (part 3)
antocuni.eu·1d
⚔️Lean Tactics